大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Time Delay Systems: Methods, Applications and New Trends [electronic resource]

0
索取号：
作者：Sipahi、 Rifat.、Vyhl铆dal、 Tom谩拧.、Niculescu、 Silviu-Iulian.、Pepe、 Pierdomenico.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, S茫o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

0
索取号：
作者：Simao、 Adenilso.、Morgan、 Carroll.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Quantum Interaction [electronic resource] : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers

0
索取号：
作者：Song、 Dawei.、Melucci、 Massimo.、Frommholz、 Ingo.、Zhang、 Peng.、Wang、 Lei.、Arafat、 Sachi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Multiscale Molecular Methods in Applied Chemistry [electronic resource]

0
索取号：
作者：Kirchner、 Barbara.、Vrabec、 Jadran.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : International Symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011. Proceedings

0
索取号：
作者：Tang、 Yongchuan.、Huynh、 Van-Nam.、Lawry、 Jonathan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Rule - Based Modeling and Computing on the Semantic Web [electronic resource] : 5th International Symposium, RuleML 2011鈥merica, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings

0
索取号：
作者：Olken、 Frank.、Palmirani、 Monica.、Sottara、 Davide.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithmic Decision Theory [electronic resource] : Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings

0
索取号：
作者：Brafman、 Ronen I.、Roberts、 Fred S.、Tsouki脿s、 Alexis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithmic Game Theory [electronic resource] : 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings

0
索取号：
作者：Persiano、 Giuseppe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Intelligent Data Analysis X [electronic resource] : 10th International Symposium, IDA 2011, Porto, Portugal, October 29-31, 2011. Proceedings

0
索取号：
作者：Gama、 Jo茫o.、Bradley、 Elizabeth.、Hollm茅n、 Jaakko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Business Processes for Business Communities [electronic resource] : Modeling Languages, Methods, Tools

0
索取号：
作者：Sch枚nthaler、 Frank.、Vossen、 Gottfried.、Oberweis、 Andreas.、Karle、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Scale Space and Variational Methods in Computer Vision [electronic resource] : Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 鈥ʵne 2, 2011, Revised Selected Papers

0
索取号：
作者：Bruckstein、 Alfred M.、Haar Romeny、 Bart M.、Bronstein、 Alexander M.、Bronstein、 Michael M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Performance Measurement with the Balanced Scorecard [electronic resource] : A Practical Approach to Implementation within SMEs

0
索取号：
作者：Biazzo、 Stefano.、Garengo、 Patrizia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Pardo、 Alberto.、Schneider、 Gerardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mechanics, Models and Methods in Civil Engineering [electronic resource]

0
索取号：
作者：Fr茅mond、 Michel.、Maceri、 Franco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

String Processing and Information Retrieval [electronic resource] : 18th International Symposium, SPIRE 2011, Pisa, Italy, October 17-21, 2011. Proceedings

0
索取号：
作者：Grossi、 Roberto.、Sebastiani、 Fabrizio.、Silvestri、 Fabrizio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

0
索取号：
作者：Qin、 Shengchao.、Qiu、 Zongyan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.